Implication Details
Assumptions: exact filtered colimits, self-dual
Conclusions: exact cofiltered limits
Proof: This holds by self-duality.
Assumptions: exact filtered colimits, self-dual
Conclusions: exact cofiltered limits
Proof: This holds by self-duality.